@echo off

SET LPG=..\..\!Tools\LPG-TD

SET file=%1

SET xml=%1
SET pddl=%2
SET num_solution=%3
SET solutions=%pddl%_*.sol
SET param=%4 %5 %6

echo.
echo **** Cleaning...

del %pddl%_*.sol > nul
del %pddl%_evaluation.txt > nul

echo.
echo **** Launching LPG-td

echo %LPG%\lpg-td-1.0.exe -o example\ex2-tropos-domain.pddl -f %pddl% -out %pddl% -n %num_solution% %param%
%LPG%\lpg-td-1.0.exe -o example\ex2-tropos-domain.pddl -f %pddl% -out %pddl% -n %num_solution% %param%

:end